Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives

Résumé. La programmation par composants est devenue une approche essentielle et très utilisée en génie logiciel. En particulier, dans le cadre des applications de visualisation scientifique interactives, cette approche offre une architecture claire aux développeurs permettant de bien séparer les différentes parties fonctionnelles de l’application comme l’interaction, la simulation et la visualisation. La modélisation d’applications de visualisation scientifique interactive doit permettre la description des comportements de chaque composant et de l’assemblage de ces composants en une application. Cet assemblage s’exprime par un schéma de communications qui peut être très complexe avec la possibilité de perdre des messages pour gagner en performance. Nous proposons un modèle par composants spécifique pour ces applications, associé à une formalisation par des réseaux FIFO colorés. Le modèle a pour objectifs de décrire les différents comportements des composants et du réseau de communications en les formulant afin d’offrir des outils de vérifications.